update(${\it eq}$;$f$;$x$;$v$)($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ${\it eq}$($y$,$x$)$\rightarrow$ $v$ else $f$($y$) fi